<?php
	require_once('NumberGenerator.php');
class RandomNumberGenerator extends NumberGenerator {
	private $count = 0;
	
	public function getState()
	{
		return $this->count;
	}

	public function setState($n)
	{
		$this->count = $n;
		$this->notify();
	}
} // class end
?>